Try Our New BETA Version
GO
Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 34 of 34 (0.028 secs)
You searched for: subject:"turing machine"
[texts]34
In this paper, we present a new way to simulateTuring machines using a specific form of Petri nets such thatthe resulting nets are capable of thoroughly describingbehavior of the input Turing machines. We model everyelement of a Turing machine’s tuple (i.e., Q, Γ, b, Σ, δ, q0, F) withan equivalent translation in Colored Petri net’s set of elementswith priority transitions such that the resulting translation(is a Petri net that) accepts the same language as the originalTuring machine...
Keywords: Turing machine; Colored Petri net; simulate; priority transition; time Complexity
Downloads: 22
[texts]The Theory of Groups - Joseph J. Rotman
Joseph J. Rotman The Theory of Groups Allyn & Bacon Inc. 1973 Acrobat 7 Pdf 11.7 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Homomorphism; Isomorphism; Permutation; Sylow; Abelian; Group; Turing Machine
Downloads: 2,128
[texts]mit :: lcs :: tm :: MIT-LCS-TM-039
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-039
Keywords: computable; polynomial; theorem; iff; turing; remark; computing; binary; expressions; expression; open problems; turing machine; computable function
Downloads: 42
[texts]mit :: ai :: aim :: AIM-052
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-052
Keywords: turing; machine; tag; string; scanning; instantaneous; description; system; formalism; associated; turing machine; tag system; instantaneous description; scanning agent
Downloads: 30
[texts]mit :: ai :: aim :: AIM-033
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-033
Keywords: turing; symbol; sequence; machine; instruction; symbols; scanning; theorem; tag; string; turing machine; scanning agent; deletion number; universal turing
Downloads: 33
[texts]mit :: lcs :: tm :: MIT-LCS-TM-492
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-492
Keywords: pspace; random; oracle; theorem; probability; interactive; oracles; lemma; classes; complexity; random oracle; debate systems; probabilistically checkable; checkable debate; complexity classes; oracle hypothesis; interactive proof; turing machine; polynomial time
Downloads: 32
[texts]Byte Magazine Volume 03 Number 12 - Life
Foreground p.14 FAST FOURIER TRANSFORMS ON YOUR HOME COMPUTER [theme Software] [author Stanley-Peterson] p.26 DESIGNING A UNIVERSAL TURING MACHINE: A Software Approach [theme Software] [author Munnecke] p.32 BUILD AN OCTAL/HEXADECIMAL OUTPUT DISPLAY [theme Hardware] [author Ciarcia] p.94 INTERFACE YOUR COMPUTER TO A PRINTING CALCULATOR [theme Hardware] [author Astmann] p.100 ZAPPER: A Computer Driven EROM Programmer [theme Hardware] [author Gable] p.128 CLOCKLESS MULTIPLICATION AND DIVISION CIRC...
Keywords: computer; byte; program; data; software; memory; december; disk; byte publications; byte december; power supply; north star; floppy disk; residents add; data set; personal computer; turing machine; dealer inquiries
Downloads: 1,159
[texts]BSTJ 41: 3. May 1962: On Non-Computable Functions. (Rado, T.)
Bell System Technical Journal, 41: 3. May 1962 pp 877-884. On Non-Computable Functions. (Rado, T.)
Keywords: turing; computable; entries; valid; score; entry; machine; binary; binary turing; functions; bell system; valid entry; turing machine; computable function; turing machines; busy beaver; finite set; system technical
Downloads: 53
[texts]Byte Magazine Volume 03 Number 12 - Life
A rescan for this item is available here. Foreground p.14 FAST FOURIER TRANSFORMS ON YOUR HOME COMPUTER [theme Software] [author Stanley-Peterson] p.26 DESIGNING A UNIVERSAL TURING MACHINE: A Software Approach [theme Software] [author Munnecke] p.32 BUILD AN OCTAL/HEXADECIMAL OUTPUT DISPLAY [theme Hardware] [author Ciarcia] p.94 INTERFACE YOUR COMPUTER TO A PRINTING CALCULATOR [theme Hardware] [author Astmann] p.100 ZAPPER: A Computer Driven EROM Programmer [theme Hardware] [author Gable] p.128 ...
Keywords: computer; byte; program; data; software; memory; december; disk; byte publications; byte december; power supply; north star; floppy disk; residents add; byte shop; data set; personal computer; turing machine
Downloads: 1,925
[texts]mit :: lcs :: tm :: MIT-LCS-TM-043
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-043
Keywords: theorem; exists; proof; formulas; computation; formula; length; binary; halting; proofs; halting computation; decision procedure; presburger arithmetic; real numbers; natural numbers; lower bounds; turing machine; order theory; lower bound; binary word
Downloads: 34
[texts]mit :: lcs :: tm :: MIT-LCS-TM-045
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-045
Keywords: multiplication; digits; turing; log; lemma; integer; multitape; algorithm; machine; turing machine; multitape turing; integer multiplication; output digit; turing machines; multiplication algorithm; steps required; requires time; procedural argument; linear product
Downloads: 30
[texts]mit :: ai :: aim :: AIM-008
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-008
Keywords: functions; defined; expression; turing; function; recursive; expressions; combine; conditional; lisp; turing machine; conditional expression; recursive functions; linear lisp; elementary functions; symbolic expressions; atomic symbols; advice taker; recursive function; lisp system
Downloads: 34
[texts]mit :: lcs :: tm :: MIT-LCS-TM-038
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-038
Keywords: turing; polynomial; space; finite; computation; lemma; eff; wsis; halts; machine; turing machine; tape squares; order theory; second order; decision procedure; weak monadic; simulation lemma; monadic second; eff empty; nondeterministic turing
Downloads: 47
[texts]mit :: lcs :: tr :: MIT-LCS-TR-110
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-110
Keywords: recursive; functions; theorem; primitive; hierarchy; function; subrecursive; hierarchies; honesty; elementary; primitive recursive; recursive functions; honesty procedure; recursive function; logik und; complexity classes; fur mathematische; subrecursive classes; turing machine; ordinal recursion
Downloads: 31
[texts]mit :: lcs :: tr :: MIT-LCS-TR-195
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-195
Keywords: length; tho; computation; formula; theorem; complexity; iff; turing; lemma; concatenation; turing machine; real addition; true iff; tho formula; main theorem; fixed number; computer science; accepting computation; scanning agent; decision procedure
Downloads: 53
[texts]xerox :: parc :: techReports :: SSL-79-8 On the Equivalence of Office Models
From the bitsavers.org collection, a scanned-in computer-related document.xerox :: parc :: techReports :: SSL-79-8 On the Equivalence of Office Models
Keywords: precedence; models; model; algorithm; activity; equivalence; office; processing; operator; automaton; precedence model; office models; precedence models; job sequencing; representationally equivalent; activity sequence; polynomial time; model figure; work station; turing machine
Downloads: 26
[texts]mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55
Keywords: machine; symbol; cell; turing; boolean; cells; symbols; holds; scanned; universal; turing machine; boolean algebra; scanned symbol; universal turing; air force; logical structure; active determinant; universal machine; active quadruple; transition diagram
Downloads: 27
[texts]mit :: lcs :: tr :: MIT-LCS-TR-242
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-242
Keywords: vertices; log; turing; worktape; machine; simulation; lemma; space; pebbles; simulated; turing machine; worktape head; relative position; mass store; free storage; time complexity; storage list; multidimensional turing; memory map; tree machine
Downloads: 38
[texts]mit :: lcs :: tm :: MIT-LCS-TM-515
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-515
Keywords: protocol; string; encryption; proofs; independence; random; proof; player; players; broadcast; encryption scheme; simultaneous broadcast; random string; polynomial time; constant round; achieving independence; turing machine; random strings; original paper; formal definition
Downloads: 51
[texts]mit :: ai :: aim :: AIM-894
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-894
Keywords: gpsg; complexity; atm; recognition; feature; grammar; universal; metarules; computational; finite; recognition problem; finite closure; gpsg theory; computational complexity; input string; current gpsg; universal recognition; universal feature; turing machine; gpsg components
Downloads: 35
[texts]mit :: ai :: aim :: AIM-211
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-211
Keywords: schema; schemata; sequence; finite; theorem; recursive; execution; equivalence; corresponding; initial; turing machine; execution sequence; decision procedure; equivalence problem; program schemata; initial address; finite interpretation; execution sequences; ultimately periodic; finite number
Downloads: 31
[texts]mit :: lcs :: tr :: MIT-LCS-TR-099
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-099
Keywords: recursive; theorem; complexity; lemma; function; sets; comp; proof; primitive; set; primitive recursive; recursive set; lower bound; relative complexity; recursive function; recursive sets; tentative commitment; turing machine; total running; partial recursive
Downloads: 29
[texts]mit :: lcs :: tm :: MIT-LCS-TM-040
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-040
Keywords: log; overlap; multiplication; bounds; turing; input; binary; multitape; symbol; values; multitape turing; lower bound; turing machine; upper bounds; lower bounds; storage structure; input symbol; time complexity; multihead multitape; turing machines
Downloads: 33
[texts]mit :: lcs :: tm :: MIT-LCS-TM-041
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-041
Keywords: algorithm; boolean; turing; linear; product; string; strings; polynomial; stage; symbols; running time; turing machine; boolean product; polynomial product; total time; time spent; linear product; time proportional; science foundation; recursive definition
Downloads: 30
[texts]mit :: ai :: aim :: AIM-257
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-257
Keywords: loop; counter; div; instruction; add; branch; qed; mul; computable; function; counter machine; strong loop; entry point; turing machine; strong loops; computable function; prime factor; partial recursive; output problem; nonlinear growth
Downloads: 60
[texts]mit :: lcs :: tm :: MIT-LCS-TM-037
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-037
Keywords: floor; node; turing; simulation; storage; nodes; multidimensional; smm; arcs; head; ground floor; turing machine; turing machines; top floor; storage modification; storage plane; storage head; multidimensional turing; modification machines; massachusetts institute
Downloads: 73 (1 review)
[texts]mit :: lcs :: tr :: MIT-LCS-TR-361
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-361
Keywords: width; branching; circuit; circuits; boolean; polynomial; program; programs; input; complexity; branching programs; branching program; boolean circuits; constant width; polynomial size; word problem; lower bounds; lower bound; complexity classes; turing machine
Downloads: 47
[texts]Creative Computing Magazine (January 1978) Volume 04 Number 01

Keywords: print; computer; program; creative; programming; computers; data; computing; corollary; memory; jan feb; auto race; creative computing; leaving leaving; square root; operating system; north star; turing machine; data processing; disk drive
Downloads: 1,471
[texts]mit :: ai :: aim :: AIM-140
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-140
Keywords: predicate; order; linear; theorem; predicates; invariant; geometric; polynomial; function; unrecognizable; turing machine; linear threshold; boolean function; unrecognizable patterns; seymour papert; normal form; linearly unrecognizable; geometric predicates; equivalence classes; equivalence class
Downloads: 38
[texts]mit :: lcs :: tr :: MIT-LCS-TR-144
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-144
Keywords: lemma; theorem; define; formula; proof; constant; sequence; formulas; equivalence; definition; elementary recursive; turing machine; weak direct; decision procedures; decision procedure; nonempty collection; upper bound; lower bound; equivalence class; predicate calculus
Downloads: 41
[texts]Byte Magazine Volume 00 Number 16 - Machine Readable Print
Foreground THE CYBERNETIC CRAYON p.24 [theme Graphics Systems] [author Dwyer-Sweer] p.139 [theme Portfolio of Explorations] [author Critchfield] p.30 THE BURIED GOLD IN THE SR-52 [theme Systems Programming] [author Penn] p.42 STRETCH THAT 6800 CLOCK [theme Hardware Modification] [author Henshaw] p.58 DON'T WASTE MEMORY SPACE [theme Software] [author Baker] p.77 SIGNAL PROCESSING FOR OPTICAL BAR CODE SCANNING [theme Hardware] [author Merkowitz] p.98 THE DESIGNER'S EYE VIEW OF THE AC-30 [theme Pro...
Keywords: data; computer; memory; program; byte; software; cassette; interface; kit; mov; slow memory; cassette interface; printed circuit; power supply; processor technology; computer system; low cost; turing machine; low power; computer store
Downloads: 1,091
[texts]Causality, Meaningful Complexity and Embodied Cognition - A. Carsetti
Causality, Meaningful Complexity and Embodied Cognition
Keywords: causal; turing; theory; mathematical; physical; grossberg; model; brain; neurons; complexity; objective bayesian; mirror neurons; turing machine; epistemic reasons; van dalen; bayesian net; proof particle; meaningful complexity; art matching; probability function
Downloads: 162
[audio]@PumpUpThaVolume: Episode016 - Speed Of Sound - Media Monarchy
"♫Makin' a soundtrack for another planet to hear♫" on @PumpUpThaVolume! Episode016 - Speed Of Sound is an epic episode, pre-recorded from the home studios of MediaMonarchy.com and featuring brand new #SongOfTheDay sounds from Twin Shadow, Melody Gardot, Shadows On Stars, Gold Motel, Infantree, Exitmusic, Dirty Projectors, Sean Rowe, Turing Machine, Communist Daughter, Jazzanova, All Eyes, Jimmy Cliff, Joy Wants Eternity, John Maus, Pop Etc, Yeasayer, Deep Time, Peaking Lights, Soul Asylum, T...
Keywords: @PumpUpThaVolume; Twin Shadow; Melody Gardot; Shadows On Stars; Gold Motel; Infantree; Exitmusic; Dirty Projectors; Sean Rowe; Turing Machine; Communist Daughter; Jazzanova; All Eyes; Jimmy Cliff; Joy Wants Eternity; John Maus; Pop Etc; Yeasayer; Deep Time; Peaking Lights; Soul Asylum; The Archives; Liars; Family Of The Year; Hacienda; Niki & The Dove; CLAPS; Jesse Harris; St. Paul de Vence
Downloads: 1,053
[movies]tweakers / 5773 / Lego Turing-machine van het CWI
Het Centrum Wiskunde & Informatica organiseert ter gelegenheid van de honderdste geboortedag van Alan Turing een tentoonstelling. Daar is onder andere een echte Enigma-machine te zien, maar ook een werkend Lego-model van een Turing-machine die door Jeroen van den Bos en Davy Landman, wetenschappers van het CWI, is gebouwd.
Keywords: tweakers; 5773;

Het Centrum Wiskunde &; Informatica organiseert ter gelegenheid van de honderdste geboortedag van Alan Turing een tentoonstelling. Daar is onder andere een echte Enigma-machine te zien, maar ook een werkend Lego-model van een Turing-machine die door Jeroen van den Bos en Davy Landman, wetenschappers van het CWI, is gebouwd.


Downloads: 18
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
movies
audio

Terms of Use (31 Dec 2014)